有限字符串重寫系統 rewriting system: 重寫系統ordering for term-rewriting system: 項重寫系統排序term rewriting system: 檢索詞重寫系統; 術語重寫系統finite length string: 有限長度串nonempty finite string: 非空有限串下載手機詞典可隨時隨地查詞查翻譯